Eléments de l'association

	Franche-Comté	662
	Bruno Legeard	17
	Franche-Comté *Sauf* Bruno Legeard"	645
	Bruno Legeard *Sauf* Franche-Comté"	0
	Franche-Comté Et Bruno Legeard	17
	Franche-Comté Ou Bruno Legeard	662
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 17.

Ident.	Authors (with country if any)	Title
000862	Alexandre Vernotte [France] ; Frédéric Dadeau [France] ; Franck Lebeau [France] ; Bruno Legeard [France] ; Fabien Peureux [France] ; François Piat [France]	Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
000A70	Elizabeta Fourneret [France] ; Jérome Cantenot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Julien Botella [France]	SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
001119	Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France]	Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
001849	Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France]	Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
001F13	Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David Rouillard	TASCCC - Project and Testing Tool (poster and demo)
001F99	Fabrice Bouquet [France] ; Bruno Legeard [France] ; Natacha Pickaert	Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test
002157	Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France]	Test Generation using Symbolic Animation of Models
002496	Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France]	SysML to UML model transformation for test generation purpose
003190	Frédéric Fondement [France] ; P-A. Muller [France] ; Brice Wittmann [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Emilie Oudot [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; M. Alter [France] ; C. Scherrer [France]	VETESS : IDM, Test et SysML
003259	Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France]	An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
003643	Bruno Legeard [France] ; Fabrice Bouquet [France] ; Pickaert Natacha [France]	Industrialiser le test fonctionnel
003666	Stéphane Debricon [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France]	From Business Processes to Integration Testing
005049	Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]	Automated Boundary Test Generation from JML Specifications
005866	Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]	How Symbolic Animation can help designing an Efficient Formal Model
005976	Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France]	Symbolic Animation of JML Specifications
005978	Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]	Using Constraint Logic Programming for the Symbolic Animation of Formal Models
005A57	Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France]	JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022